23 research outputs found
On the Goedel's formula
This article examines the formula G (of Goedel). We demonstrated that the
Goedel's number of the formula G is not a finite number if (i) G is
comprehended as a self-referential statement or (ii) there is an infinite set S
of well-formed formulae such that the elements of S are theorems or
antitheorems in T.Comment: 4 pages. Section 3 rewritte
Key Aspects for Implementing ISO/IEC 17025 Quality Management Systems at Materials Science Laboratories
Implementing a quality management system based on the requirements specified in ISO/IEC 17025 standard at materials science laboratories is challenging, mainly due to two main factors: (i) the high technical complexity degree of some tests used for materials characterization and (ii) the fact that most materials science laboratories provide materials characterization tests and also carry out research and development activities. In this context, this chapter presents key subjects while implementing a quality management system at materials science laboratories and some considerations on strategies for effectively implementing such systems